Prolog - List Operations No Doubles